$\forall$$T$:Type, ${\it ll}$:($T$ List) List. concat(${\it ll}$) $\in$ $T$ List